Non-determinism analyses in a parallel-functional language

Correctness of Non-determinism Analyses in a Parallel-Functional Language

A Generic Analysis Server System for Functional Logic Programs

We present a system, called CASS, for the analysis of functional logic programs. The system is generic so that various kinds of analyses (e.g., groundness, non-determinism, demanded arguments) can be easily integrated. In order to analyze larger applications consisting of dozens or hundreds of modules, CASS supports a modular and incremental analysis of programs. Moreover, it can be used by dif...

Non-determinism Analysis in a Parallel-Functional Language

The paper presents several analyses to detect non-determin-istic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and then each one is presented. The rst one is type-based, while the other two are based on abstract interpretation. Their power and eeciency is discussed, and an example is used to illustrate the diierences. Two interesting functi...

Functional Parallel Programming with Explicit Processes: Beyond SPMD

Parallel programming languages tend to waste algorithmic expressiveness to avoid deadlocks, non-determinism and the general complexity of concurrent languages. As a result, most of them don’t specify data placement so that performance is unpredictable as a function of the source program (it depends on the language implementation, not its semantics). The BSP paradigm [7] demonstrates that explic...

Towards a Parallel Virtual Machine for Functional Logic Programming

Functional logic programming is a multi-paradigm programming that combines the best features of functional programming and logic programming. Functional programming provides mechanisms for demand-driven evaluation, higher order functions and polymorphic typing. Logic programming deals with non-determinism, partial information and constraints. Both programming paradigms fall under the umbrella o...